Logic, Symbolic and mathematical